Towards an in nitary logic of domains: Abramsky logic for transition systems
نویسندگان
چکیده
We give a new characterization of sober spaces in terms of their completely distributive lattice of saturated sets. This characterization is used to extend Abramsky's results about a domain logic for transition systems. The Lindenbaum algebra generated by the Abramsky nitary logic is a distributive lattice dual to an SFP-domain obtained as a solution of a recursive domain equation. We prove that the Lindenbaum algebra generated by the innnitary logic is a completely distributive lattice dual to the same SFP-domain. As a consequence soundness and completeness of the innnitary logic is obtained for a class of transition systems that is computational interesting.
منابع مشابه
Infinitary Domain Logic for Finitary Transition Systems
The Lindenbaum algebra generated by the Abramsky ni-tary logic is a distributive lattice dual to an SFP-domain obtained as a solution of a recursive domain equation. We extend Abramsky's result by proving that the Lindenbaum algebra generated by the innnitary logic is a completely distributive lattice dual to the same SFP-domain. As a consequence soundness and completeness of the innnitary logi...
متن کاملTowards an infinitary logic of domains: Abramsky logic for transition systems
We give a new characterization of sober spaces in terms of their completely distributive lattice of saturated sets. This characterization is used to extend Abramsky’s results about a domain logic for transition systems. The Lindenbaum algebra generated by the Abramsky finitary logic is a distributive lattice dual to an SFP-domain obtained as a solution of a recursive domain equation. We prove t...
متن کاملReliability Assessment of Power Generation Systems in Presence of Wind Farms Using Fuzzy Logic Method
A wind farm is a collection of wind turbines built in an area to provide electricity. Wind power is a renewable energy resource and an alternative to non-renewable fossil fuels. In this paper impact of wind farms in power system reliability is investigate and a new procedure for reliability assessment of wind farms in HL1 level is proposed. In proposed procedure, application of Fuzzy – Markov f...
متن کاملToward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems
We give a new characterization of sober spaces in terms of their completely distributive lattice of saturated sets. This characterization is used to extend Abramsky’s results about a domain logic for transition systems. The Lindenbaum algebra generated by the Abramsky finitary logic is a distributive lattice dual to an SFP-domain obtained as a solution of a recursive domain equation. We prove t...
متن کاملExtension of Logic regression to Longitudinal data: Transition Logic Regression
Logic regression is a generalized regression and classification method that is able to make Boolean combinations as new predictive variables from the original binary variables. Logic regression was introduced for case control or cohort study with independent observations. Although in various studies, correlated observations occur due to different reasons, logic regression have not been studi...
متن کامل